|
|
|
| e-Pub |
Previous | 
Home
Section: New Software and Platforms
PyECDAR
Keywords: Timed input - Output automata
Scientific Description
The tool has been originally developed to analyze the robustness of timed specifications, in extension of the tool Ecdar. As Ecdar , it allows to compose components specifications based on Timed I/O Automata (TIOA), and it implements timed game algorithms for checking consistency and compatibility. Additionally, it features original methods for checking the robustness of these specifications.
The tool has been later extended to analyse adaptive systems. It therefore implements original algorithms for checking featured timed games against requirements expressed in the timed AdaCTL logic.
The tool is written in Python with around 3'000 lines of code. It uses a Python console as user interface, from which it can load TIOA components from XML files written in the UPPAAL format, and design complex systems by combining the components using a simple algebra. Then, it can analyze these systems, transform them and save them in a new XML file.
Functional Description
PyEcdar is a free software that analyses timed games and timed specifications. The goal of the tool is to allow a fast prototyping of new analysis techniques. It currently allows to solve timed games based on timed automata models. These can be extended with adaptive features to represent dynamicity and to model software product lines.